Scaling Java Points-to Analysis Using SPARK
نویسندگان
چکیده
Most points-to analysis research has been done on different systems by different groups, making it difficult to compare results, and to understand interactions between individual factors each group studied. Furthermore, points-to analysis for Java has been studied much less thoroughly than for C, and the tradeoffs appear very different. We introduce SPARK, a flexible framework for experimenting with points-to analyses for Java. SPARK supports equalityand subset-based analyses, variations in field sensitivity, respect for declared types, variations in call graph construction, off-line simplification, and several solving algorithms. SPARK is composed of building blocks on which new analyses can be based. We demonstrate SPARK in a substantial study of factors affecting precision and efficiency of subset-based points-to analyses, including interactions between these factors. Our results show that SPARK is not only flexible and modular, but also offers superior time/space performance when compared to other points-to analysis
منابع مشابه
Efficient Points-To Analysis for Partial Call Graph Construction
Many static analysis tools provide whole-program analysis to generate call graphs. However, the whole-program analysis suffers from scalability issue. The increasing size of the libraries exacerbates the issue. For many Web applications, the libraries (e.g. Servlet containers) are even not available for whole-program analysis. We present HyPta, a points-to analysis approach, to construct partia...
متن کاملTuning Java Garbage Collection for Spark Applications
Spark is gaining wide industry adoption due to its superior performance, simple interfaces, and a rich library for analysis and calculation. Like many projects in the big data ecosystem, Spark runs on the Java Virtual Machine (JVM). Because Spark can store large amounts of data in memory, it has a major reliance on Java’s memory management and garbage collection (GC). New initiatives like Proje...
متن کامل-
In this paper we start with Meyer-Ter-Vehn isobaric fusion model and try to reconstruct all equations by introducing a dimensionless variable ?i=ri/Rm. Then we investigate the proper sets of spark confinement parameter and temperature {Hs,Ts} which satisfy ignition conditions of spark ignition in deuterium-tritium (DT) equimolar mixture in terms of isentrope parameter, ?, implosion velocity, Ui...
متن کاملDifference Effectiveness of Progressive Muscle Relaxation Therapy and Endorphin Massage Therapy towards Reducing Menstrual Pain Intensity in Adolescents
Background: Problems that arise during menstruation include pain before or during menstruation. Progressive Muscle Relaxation (PMR) techniques and Endorphin Massage (EM) therapy have been shown to be effective in controlling menstrual pain. The purpose of this study was to determine the difference in the effectiveness of pain intensity carried out by PMR therapy and EM therapy. Methods: Quasi...
متن کاملROBUST FUZZY CONTROL DESIGN USING GENETIC ALGORITHM OPTIMIZATION APPROACH: CASE STUDY OF SPARK IGNITION ENGINE TORQUE CONTROL
In the case of widely-uncertain non-linear system control design, it was very difficult to design a single controller to overcome control design specifications in all of its dynamical characteristics uncertainties. To resolve these problems, a new design method of robust fuzzy control proposed. The solution offered was by creating multiple soft-switching with Takagi-Sugeno fuzzy model for optim...
متن کامل